[1415] Der Wasserstollen, des -s, plur. ut nom. sing. im Bergbaue, ein Stollen, das Wasser aus den Grubengebäuden abzuführen.
Pierer-1857: Wasserstollen