Unabhängig davon, dass uns anonym eine Quelle schuldet, habe ich nochmal tiefer gegraben und auf alten TKs ("Messtischblatt vor 1945", "TK25 DDR", "DTK 2008 bis 2012") im Geoportal* tatsächlich diesen Namen entdeckt. Ich würde den Namen daher eher als Beschreibung/Notiz hinterlegen bzw. 'old_name' benutzen.

* https://geoportal.sachsen.de/?map=cfb31f0b-c1ac-4133-9e77-9b35615bf34f