Zwischen 4.000 und 6.000: Zahl der IS-Kämpfer in Libyen laut US-Militär verdoppelt