— RIO JANEIRO den 1 juli.