läroverkets högtidssal af docentenO.