Rio Janeiro den 1 Jnli.