Das Gebäude wurde als Sporthalle gebaut, daher ist building=sports_hall richtig. Die Nutzung als Mensa ist mit building:use=canteen getaggt. 

Erledigt in https://www.openstreetmap.org/changeset/99065148 