RIO DE JANEIRO den 25 juli.