Oh ja, das war unpräzise. Es geht um https://www.openstreetmap.org/way/1086485824 Park des 30. Juli. 
Auf der spielplatz-muenchen.de taucht  der Name tatsächlich auf: https://spielplatz-muenchen.de/?spielplatz=10385515  
Leider erlaubt https://spielplatz-muenchen.de/impressum Abschnitt Urheberrecht die Übernahme der Daten nicht. Die Person, die dort wohnt, sagte beim letzten Münchner OSM-Treffen der Name sei vor Ort nicht bekannt.
