RIO JANEIRO den 25 Juli.