EU-Staaten wenden Ende von Marineeinsatz vor Libyen ab