Idrettshaller, idrettsanlegg og svømmebasseng