Allemagne : légère baisse de l'inflation en juillet, à 6,2% sur un an