Rio de Janeiro den 18 fehr.