Petersburg ben 20 Juli.