Högtidligheten egde rum i den stora rotundan,