hade riddarhussalen hunnit att fyllas af en till större delen gala-klädd publik.