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