paviljongen och de öfriga festliga anordnirgarna å Riddarholmen ,hvilka