Rio Janeiro den !0 Juli.