Rio de Janeiro den 12:te December.