Högtidligheten som försiggick i hufvudhallen,