Installed the update through my O2 SIM, as Vodafone DE (of course?) doesn’t offer the update yet.
Still, my biggest issue - bad sound quality when recording videos with the stock camera app…still here! 
I’m beginning to wonder if this is a hardware issue with the microphones in my case and not (only) a software issue.