mobile rechte Spalte Vorlesen Tiefer Stollen Bergbaulexikon G-I Grubenbau Grubenbau Planmäßig hergestellter bergmännischer Hohlraum unter Tage.