Rio Janeiro den 7 Juli 1872.