Allemagne : l'inflation a bien reculé en mai, à 6,3% sur un an