RIO DE JANEIRO den 27 Juli.