Berlin den 4 Dee.