— Rio de Janeiro den 22:dre Juli.