[1019] Der Hauptstollen, des -s, plur. ut nom. sing. der vornehmste Stollen, im Bergbaue, ein Stollen, welcher vielen Zechen zu Hülfe kommt.