BERLIN den 22 fehr.