RIO DE JANEIRO den 4 juli.