Hamburg den 1 » Juli.