Rio de Janeiro den 28:de Juli.