okt juli okt Hamburg 22.