Leipzig ben 4 Juli.