Magdeburg: What we know so far about German Christmas market attack