skall konungen personligen öppna norska storthinget.