vid stortingets högtidliga afslutning var tingets venstermed