“There were screams of children”: Magdeburg residents grieve after Christmas market attack