Hundreds Mourn Nine-Year-Old Victim of Magdeburg Christmas Market Attack