mot författningen att riksdagens högtidliga öppnande egde rum i den kungliga borgen och icke i riksdagshuset.