Verbraucherpreisindex für Oktober in Deutschland