:::::::Dann passt ja alles. Wäre bei klarer Begriffsbestimmung auch ohne diese Diskussion gegangen. Wichtig ist nur zur Vermeidung von Verwechslungen das Tor "Inneres Lederertor (Neuer Name eines alten Tores, kein Stadttor"). Besser wäre es hier allerdings diesem alten Torbogen einen Namen zu geben, der nicht schon vergeben ist. Schlage z.B. "Lederergassentor" vor. --[[Benutzer:Dr. Reinhard Medicus|Dr. Reinhard Medicus]] ([[Benutzer Diskussion:Dr. Reinhard Medicus|Diskussion]]) 19:30, 25. Mai 2019 (UTC) | :::::::Dann passt ja alles. Wäre bei klarer Begriffsbestimmung auch ohne diese Diskussion gegangen. Wichtig ist nur zur Vermeidung von Verwechslungen das Tor "Inneres Lederertor (Neuer Name eines alten Tores, kein Stadttor"). Besser wäre es hier allerdings diesem alten Torbogen einen Namen zu geben, der nicht schon vergeben ist. Schlage z.B. "Lederergassentor" vor. --[[Benutzer:Dr. Reinhard Medicus|Dr. Reinhard Medicus]] ([[Benutzer Diskussion:Dr. Reinhard Medicus|Diskussion]]) 19:30, 25. Mai 2019 (UTC) |