Germany's annual inflation hits new all-time high in October