Berlin den 10 Dee.