[728] Grubenausbau, s. Bergbau.
Lueger-1904: Grubenausbau [3] · Grubenausbau [2] · Grubenausbau [1]
Meyers-1905: Grubenausbau