— Rio de Janeiro den 27:de Oktober.