Hamburg den 3 » Juli.