[728] Gruben, Dorf in der sächs. Kreish. Dresden, (1900) 1124 E.; eisenhaltigste Quelle Deutschlands.
Adelung-1793: Gruben-Compaß, der · Gruben
Herder-1854: Gruben
Meyers-1905: Gruben
Pataky-1898: Gruben, Frl. Lina von
Pierer-1857: Grüben