Hamburg den 2 » Juli.