allmänna lärowerkets högtidssal ."