RIO JANEIRO den 12 Juni.