Hi skyper,

danke der Nachfrage. Ich denke, die Halle hat keinen eigentlichen Namen, jedenfalls steht keiner drauf. Ich bin neu bei OSM und habe den Eintrag mit der StreetComplete App gemacht. Wenn ich mich recht erinnere, stand da explizit, dass man eine Beschreibung eintragen soll, falls es keinen Namen gibt.

Viele Grüße
maximinimus