Tagestollen, der

[523] Der Tagestollen, des -s, plur. ut nom. sing. im Bergbaue, ein Stollen, welcher zur Ableitung der Tagewasser dienet.

Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 4. Leipzig 1801, S. 523.
Lizenz:
Faksimiles:
Kategorien: