Wasserhaltung

Gesamtheit der Einrichtungen, die zum Freihalten eines Bergwerks von zufließendem Wasser (s. Sümpfen) dienen