Wasserkunst

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