[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.