MKL1888:Wasserhaltung
[421] Wasserhaltung, Inbegriff der Mittel und Arbeiten, die Grubenbaue von Wasser freizuhalten (Wasserlosung), resp. von eingedrungenem Wasser freizumachen, sei es durch natürliche Mittel (Stollen, Strecken, Röschen), sei es durch künstliche, durch Wasserhaltungsmaschinen, Verbindungen von Motoren mit Pumpen. Vgl. Bergbau, S. 729.