högtidligen öppna norska stortinget.