Vidare om Stortingets högtidliga öppnande.