RIO-JANEIRO den 7 Juli.