Seol mar théacs é seo: Hausdorff and Gromov Distances in Quantale−Enriched Categories