Rio Janeiro den 31 Dee.