Pumpenbohrer, der

[863] Der Pumpenbohrer, des -s, plur. ut nom. sing. ein Bohrer, die hölzernen Röhren zu den Wasserpumpen damit zu bohren. Im Nieders. wird der Pumpenmacher oder Brunnenmeister Pumpenbohrer genannt, weil er zugleich die zu den Pumpen nöthigen Röhren bohret.

Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 3. Leipzig 1798, S. 863.
Lizenz:
Faksimiles:
Kategorien: