RIO DE JANEIRO den 30 juli.