Rio Janeiro — GRAVESEND d 3 Juni.