Hamburg den 7 Dee.