* * Rio Janeiro den 4 november.