RIO DE JANEIRO den 1 aug.