såsom till vanlig Gudstjenst , i Riddarholmskyrkan , hvarefter kl. 11,40alla