* * Berlin den 3 juli.