Tag 'old_name = Gertraudenhospital'

• 6: old_name
• 6: building:levels
• 6: building
• 1: image
• 1: addr:housenumber
• 1: addr:street
• 1: wikidata
• 1: wikimedia_commons