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.
Lizenziert vom RIS (ris.bka.gv.at - CC BY 4.0 DEED)