Grubenausbau.

§ 237

In brandgefährdeten Gruben ist der Grubenausbau besonders sorgfältig herzustellen und instand zu halten, um der Entstehung von Verbrüchen und von Hohlräumen hinter dem Ausbau vorzubeugen.