Hamburg det » 3 Juli.