Magdeburg mourns Christmas market dead