Berlin den 20 dee.