RIO JANEIRO den 13 Juni.