— Rio Janeiro den 6 Juli.