Grubengebäude

Als Grubengebäude, auch Berggebäude oder einfach nur Gebäude, bezeichnet man im Bergbau die Gesamtheit aller planmäßig zusammenhängenden unterirdischen Hohlräume (Grubenbaue) eines Bergwerks. Früher bezeichnete man auch die dem Bergwerksbetrieb dienenden übertägigen Gebäude eines Bergwerks als Grubengebäude.