Allemagne/PMI: Le secteur des services perd de son élan en juin