RIO JANEIRO den 20 Juni.