Idrettshall, se idrettsanlegg.