Grubengebäude

Sammelbegriff im Bergbau für alle durch Bergleute angelegten unterirdischen Hohlräume eines Bergwerks.