USA schätzen Zahl der IS-Kämpfer in Libyen auf bis zu 6.000