Martensens begrafning försiggick ( i dag med stor högtidlighet.