Kriget i Tunis är , såsom bekant , slut,