stortingets högtidliga öppnande genom kung Oscar.