… eine erweiterte Frage zu diesem Namensthema…

Ich meine mich zu erinnern, daß es mal eine Wikiseite gab die das Namensthema beleuchtete: Achtung: ich denke hier speziell an:

*name:de:Jahr von-Jahr bis z.B. ein Ort in meiner Umgebung: old_name🇩🇪1937-1945=Waldseedorf | Tags | OpenStreetMap Taginfo
als old_name:de:1937-1945=Waldseedorf (inhaltlich korrekt!)

…oder irre ich?

Das spielt hier für mich eine Rolle, um auch dokumentierte und bekannte Namensveränderungen zu erfassen, was dann gelegentlich auch einen “Aha”-Effekt verursachen kann,

Sven