Rio de Janeiro den 20 fehr.