Berlin den 4 juli.