RIO JANEIRO den 30 Juli.