Grubenbau

planmäßig bergmännisch hergestellter Hohlraum unter Tage.