Did you know that a pit crater , unlike an impact crater , is formed by the ground sinking over a void such as an emptied magma chamber or caldera ?