20151230 world.europe: IS leader linked to Paris attacks 'mastermind' killed in Syria