Grubenwasserleitungen.

§ 240

In brandgefährdeten Grubenteilen sind ortsfeste Wasserleitungen einzubauen und dauernd gebrauchsfertig zu erhalten. Das Wasserleitungsnetz muß eine solche Ausdehnung haben, daß jede zugängliche Stelle des Grubenteiles mit Spritzschläuchen erreicht werden kann.