Libyen: EU erwägt Wiederbelebung von Marineoperation