Rio de Janerio den 3 Augusti.