Tagepumpe, die

Die Tagepumpe, 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.