sorgehögtidligheter med anledning af den store mannens begrafning.