Hamburg den is Okt.