alle Einrichtungen, welche dazu dienen, die unter Tage zusitzenden Grubenwasser aus den Bauen zu entfernen