Verbraucherpreise in Deutschland im Oktober gestiegen