Betriebseinrichtungen und Räume für Pumpen, um die Bergwerke, besonders die Tiefbaugruben frei von Wasser zu halten