skall konungen personligen öppna norska stortinget.