Grubenwasser
, 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.