Eio de Janeiro den 20 juli.