MKL1888:Brunnenstube
[520] Brunnenstube, beim Bergbau der Raum, in welchem die Grubenwasser und Quellen zusammenfließen, und von wo sie dann abgeleitet werden; bei den von der Natur gebildeten und zur sogen. Röhrenfahrt benutzten Quellen das um und über dieselben aufgeführte Mauerwerk.