Sie befinden sich hier:
ein durch bergmännische Arbeit und zu bergbaulichen Zwecken hergestellter Raum