From flash 53.7.

German July final manufacturing PMI 61.2, unchanged from flash estimate.