högtidliga öppnande skullo således kunna försiggå på rikssalen fredagen den 17 d:s.