Höjeste Rets Assessor Holsts begrafning firades i Christiania den 4 dennesmed