så att stortingets högtidliga öppnande antogs komma att försiggå på onsdagen.