[724]Grubenwasser, das Wasser, welches sich auf dem Boden der Gruben sammelt u. aus benachbarten Gegenden hineinsickert; es wird durch Wasserhebungsmaschinen zu Tage gefördert, od. durch Stollen abgeleitet.
Quelle:
Pierer's Universal-Lexikon, Band 7. Altenburg 1859, S. 724.