Rio de Janeiro den I juli.