Hauptstollen Bedeutung

Hauptstollen

[Achtung: Schreibweise von 1811] Der Hauptstollen, des -s, plur. ut nom. sing der vornehmste Stollen, im Bergbaue, ein Stollen, welcher vielen Zechen zu Hülfe kommt.
Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009132_3_1_1182

---