[435] Gruben, Dorf in der sächs. Kreish. Dresden, Amtsh. Meißen, hat eine an Eisen und Mangan reiche Mineralquelle mit Bad und (1900) 1122 Einw.
Adelung-1793: Gruben-Compaß, der · Gruben
Brockhaus-1911: Gruben
Herder-1854: Gruben
Pataky-1898: Gruben, Frl. Lina von
Pierer-1857: Grüben