BERLIN den 15 fehr.