Michelsen lämnade vid stortingets sammanträde i middags det förut bebådade officiella meddelandet från regeringen.