RIO JANEIRO den 10 Juli.