20181212 world.europe: One killed; several wounded in Strasbourg shooting: Police