Strasbourg reopens Christmas market after gunman killed