Die Sporthalle war bereits eingetragen (https://www.openstreetmap.org/​way/​1133815385) Beim Tagging habe ich nun noch den Gebäudetyp "sports_hall" gesetzt. Hat die Halle einen echten Eigennamen? - beschreibende Namen wie "Sporthalle" werden normalerweise nicht in OSM eingetragen.