Berlin den 20 Dee.