Rio de Janeiro den 7 Juli.