högre allmänna läroverkets högtidssal.