RIO JANEIRO den 31 Juli.