Grubenbau

jeder in einem unterirdischen Grubenbetrieb hergestellte offene Raum, z. B. Schacht , Füllort , Querschlag , Strecke und Abbau .