Rio de Janeiro den 3o Juli.