RIO JANEIRO den 9 Juni.