— Rio Janeiro den 9 Juli.