Leipzig den 4 juli.