Hallo eköln,
was hat "leisure=sports_hall" mit "Gymnasium" zu tun ? Lies bitte mal das WiKi dazu https://wiki.openstreetmap.org/wiki/Tag:amenity%3Ddojo und die Diskussion

- "The 'amenity' key is not well chosen for a sports facility. Please consider leisure=sports_centre or leisure=sports_hall and add sport=*."

Zrop