762 ) Rättens ombudsman.