* * Berlin den 5 juli.