Prof. Petersens begrafning egde rum d.