Rio de Janeiro den 7 fehr.