Als building=riding_hall
Das steht auf
https://wiki.openstreetmap.org/wiki/DE:Reiten
und
https://wiki.openstreetmap.org/wiki/DE:Riding
und
https://wiki.openstreetmap.org/wiki/Riding
und
https://wiki.openstreetmap.org/wiki/Proposed_features/Riding_hall
Auf
https://wiki.openstreetmap.org/wiki/DE:Tag:building=riding_hall
und
https://wiki.openstreetmap.org/wiki/Tag:building=riding_hall
fehlt es; ich werde es wohl da nachgetragen. Danke für den Hinweis.