Rio de Janeiro den 9 dee.