— Rio de Janerio den 8:de Juli.