Leipzig den 3 juli.