Rio de Janeiro den 5 jnli.