Grubenbau

Planmäßig hergestellter bergmännischer Hohlraum unter Tage.