German inflation officially came in at 0.8% on the second estimate, as expected. Prices were down 0.3% from September to October.