Pumpengesenk, das

Das Pumpengesênk, 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.