Umbenennung der ÖPNV-Haltestelle „Ebendorfer Straße“ in „Wilhelmstädter Platz“