This post very much to my regret has been prescient. At the moment 11 dead and more than 100 injured in an attack at a Christmas market in Magdeburg, Germany.