RIO JANEIRO den 14 Juli.