Hamburg den 7 Jukt.