Leipzig den 3 Oktober.