— Rio Janeiro den 7 Juli.