jmsbert
Hallo,
das Gebäude ist nun entsprechend Wiki [1] zusätzlich getaggt als:
building=riding_hall
leisure=sports_hall
sport=equestrian
Changeset: https://www.openstreetmap.org/changeset/124704339

Passt das so?

[1] https://wiki.openstreetmap.org/wiki/DE:Tag:building%3Driding_hall