en enkel men visserligen ganska ovanlig högtidlighet.