Nach Bürgerkrieg: Armee im Sudan erobert Hauptstadt Khartum zurück