Im Prinzip gilt jetzt ein Waffenruhe im Bürgerkriegsland Libyen, doch es droht weiterhin eine Art Stellvertreterkrieg.