Rio de Janeiro den 1Aug.