Denna likbegängelse var ganska högtidlig: