* * Berlin den 22 juli.