Högtidligheten i Riddarholmskyrkan var slut strax före kl. 1.