RIO DE JANEIRO den 1 juni.