@rotnroll666 Yeah, I didn't believe that news to be wrong, I just hadn't seen any mention of it in German media, and wondered why no one had picked that one up.

Turns out I just hadn't seen the headlines - it's been widely reported about two days ago...