Danke für die Erläuterungen.
Jetzt habe ich l=sports_hall auch gefunden. Ich hatte nur auf die Wiki-Seite von leisure=* und school=* geschaut, wo es nicht verlinkt ist. Dann hielt ich es für einen Irrtum.
Der Vollständigkeit halber sei darauf hingewiesen, dass es sich dabei um einen Wert handelt, der bisher nur vorgeschlagen, aber nie offiziell angenommen wurde.
(https://wiki.openstreetmap.org/wiki/DE:Tag:leisure%3Dsports_hall)