Tagestollen Bedeutung

Tagestollen

[Achtung: Schreibweise von 1811] Der Tagestollen, des -s, plur. ut nom. sing. im Bergbaue, ein Stollen, welcher zur Ableitung der Tagewasser dienet.
Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009134_3_0_93

---