ceremonier i det för marskalkar afsedda grafhvalfvet.