Rio de Janeiro den 1 juli.