tiden för stortingets öppnande.