Sie befinden sich hier:

Grubenbau

ein durch bergmännische Arbeit und zu bergbaulichen Zwecken hergestellter Raum