Pumpengesenk, u. (Bergb.), senkrechte Grube, höchstens zwei Fahrten tief, in welcher die Pumpen zum Heben des Wassers angelegt werden. Yumpenschacht sagt man, wenn die Grube tiefer ist.)
Illustrirtes Bau-Lexikon. Praktisches Hülfs- und Nachschlagebuch im Gebiete des Hoch- und Flachbaues, Land- und Wasserbaues, Mühlen- und Bergbaues, der Schiffs- und KriegsbaukunstHrsg. von Oscar Mothes, 4. Aufl., Leipzig und Berlin: Otto Spamer 1881–1884 · Bd. 3, S. 580Scan: Universitätsbibliothek Heidelberg · gemeinfrei