Leipzig den 5 Juni.