Das Grubenwasser
Das Grubenwasser,
[
823-824] des -s, plur. von mehrern
Quantitäten, ut nom. sing. eben daselbst, alles Wasser, welches sich in den
Erzgruben sammelt; zum Unterschiede von dem Tagewasser, d. i. dem auf der
Oberfläche der Erde befindlichen Wasser.
