Hamburg den 9 Dee.