med sedvanlig högtidlighet Norges storthing.