Rudolf Walls begrafning egde rum i lördags med stor högtidlighet.