Gravenhorsts begrafning egde rum i lördags kl. 3 e. m.