högtidliga öppnande skulle således kunna försiggå på rikssalen fredagen den 17 dennes,