Berlin den 30 Dee.