Hamburg den 4 Dee.