-- Efficient Edge Domination on Hole-Free Graphs in Polynomial Time -- Computational