RIO DE JANEIRO den 3 Juli.