Hamburg den 30 Dee.