— Hamburg den 10 Dee.