RIO JANEIRO den 21 Juli.