Leipzig den 4 Juni.