* * Berlin den 1 juli.