[727] Großhartmannsdorf, Dorf in der sächs. Kreish. Dresden, (1900) 2015 E.; Zigarrenfabrik, Karpfenzucht.
Meyers-1905: Großhartmannsdorf
Pierer-1857: Großhartmannsdorf