[863] Der Pumper, des -s, plur. ut nom. sing. derjenige, welcher pumpet, besonders, welcher durch Pumpen das Wasser aus einem Orte schaffet.