högre allmänna läroverkets gymnastiksal.