Rio de Janeiro den 1g Juli.