Allmänna läroverkets högtidssal var,