Rio de Janeiro den 8 Juli.