RIO JANEIRO den 24 Juli.