RIO DE JANEIRO den 1 juli.