( 722 ) Rättens ombudsman.