Rio de Janeiro den 3 Äng.