Der Pumpenbohrer
, [
863-864] 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.
