Germans mourn five people killed, 200 injured in Christmas market attack