Rio de Janeiro den 9 Jnli.