20151130 world.europe: Germany may send soldiers to fight IS