20161222 world.europe: Berlin attack prompts high security in US cities for holiday