( 725 ) Rättens ombudsman.