RIO DE JANEIRO den 13 Juni.