Hamburg de » ( i Juli.