Grubengebäude

Sammelbegriff für alle bergmännisch hergestellten Hohlräume eines Bergwerks.