Gesenk
ein Begriff aus der Bergbautechnik