RIO DE JANEIRO den 17 Juli.