Tag 'ref:ibnr = 8011167'

Value histogram for key 'note:official_name'

• 1: Wird 2017-12-10 umbenannt in 'Berlin Jungfernheide'

---

Quelle / Ursprung dieser Information: OpenStreetmap