— Rio de Janeiro den 4 Oktober.