Berlin den 20 juDi.