Rio de Janeiro den 3 augusti.