och rådman Johan Detlof Hoffman rättens ombudsman.