Ofwersten Lagerheim , som war kanalens öfwermekanikus,