Rio Janeiro den 2 Juli.