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