RIO DE JANEIRO den 18 Juli.