RIO DE JANEIRO den 13 Juli.