4,000 dead, 9,000 missing: What are Libyan authorities doing? | DW News