Das Pumpengesenk
, [
863-864] des -es, plur. die -e, im
Bergbaue, ein Gesenk zum Behuf einer Pumpe, eine senkrechte Grube für eine
Pumpe, welche nur eine oder zwey Fahrten tief ist. Ist sie tiefer, so daß
mehrere Pumpen über einander angebracht werden müssen, so heißt sie ein
Pumpenschacht.
