EU beendet Marineeinsatz vor der libyschen Küste