— Rio Janeiro den 1 Aug.