Rivalisierende Milizen in Tripolis vereinbaren Waffenruhe