Bergpumpe, die


Bergpumpe, die

Die Bêrgpumpe, plur. die -n, Pumpen, welche in Bergwerken üblich sind, das Wasser aus dem Gesenke zu heben.


http://www.zeno.org/Adelung-1793. 1793–1801.