Hamburg den 3 Dee.