Hamburg den 17 Dee.