Die Tagepumpe
, [
521-522] plur. die -n, im Bergbaue,
eine Pumpe, welche von Tage, d. i. von der Oberfläche der Erde in die Grube
gerichtet ist, und ihr Wasser auch am Tage wieder ausgießt; zum Unterschiede
von solchen, welche es in die Stollen oder Strecken ausgießen.
