Oskar Lagerheims begrafning i Shanghai den 25 Juni försiggick på ett mycket högtidligt sätt.