Hamburg den » Juli.