Libyen: Anschlag auf Pipeline gefährdet Ölproduktion