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