[863]Der Púmpenmácher, 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.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 3. Leipzig 1798, S. 863.