Germany to deploy 1,200 troops for IS fight