André Gleißner named as nine-year-old killed in Magdeburg Christmas market attack | BBC News