Vermutlich Copy&Paste-Fehler?

200m östlich ist der "echte" Ludwigsplatz (vgl. Haltestelle Ludwigsplatz bzw. diverse andere nicht für OSM verwendbare Quellen) - Frage also: wie heißt dieser Platz/Park tatsächlich?