GERMAN DATA: German final June service PMI 56.7; flash 58.3; May
56.1 — Reuters.