Waffenruhe in Libyen vereinbart