riksdagens högtidliga öppnande att försiggå i rikssalen.