Ausbau
Bergbau
Definition
Das Kleine Bergaulexikon [1] definiert Ausbau als „Stützelemente zum Offenhalten bergmännischer Hohlräume“. Dazu zählen beispielsweise der Schildausbau, Gebirgsanker, Verzugmatten, Bogenausbau und in älteren Streben auch einzelne => Stempel
Quelle
◦ [1] Walter Bischoff: Das kleine Bergbaulexikon: Westfälische Berggewerkschaftskasse Bochum. Verlag Glückauf, 1988. - 404 S. ISBN 3-7739-0501-7.