Berlin den 17 Dee.