Rio Janeiro den ^ Maj 1872.