Magdeburg Christmas market attack: What we know so far