Havannad den 12 Juli.