RIO JANEIRO den 26 Juli.