Rio de Janeiro den » 7 April.