[1561] Die Druckpumpe, im gemeinen Leben, Druckelpumpe, plur. die -n, eine Pumpe, welche man niederdrücken muß, besonders in den Bergwerken.
Meyers-1905: Druckpumpe
Pierer-1857: Druckpumpe