20161220 world.europe: several dead as truck runs into crowded christmas market in berlin