’ Berlin den 10 juli.