Att prof. Hagerup blir den nye statsministern,