mentarläroverkets festsal af konungen.