* * Berlin den 12 juli.