Germany Ready to Send 3,900 Troops to Back US Strikes