Das Pumpengesenk | Gehe zu Seite/Spalte:  | Der Pumpenschacht

Der Pumpenmacher

, [863-864] des -s, plur. ut nom. sing. derjenige, welcher die Wasserpumpen macht und setzet, und, so fern er auch die Wasserleitungen macht und besorgt, auch der Röhrmeister genannt wird.

Das Pumpengesenk | Gehe zu Seite/Spalte:  | Der Pumpenschacht