Hamburg den 20 Dee.