Hamburg den 1 Dee.