— RIO JANEIRO den 5 Juli.