nämnda gymnastiklokalerna under gymnastiktiden.