gymnastiksal , som skulle användas.