In the 1950s and 1960s, it was shown that  many of the regularity properties of Lebesgue measure transfer to Hausdorff measures, but only for analytic sets.  We will describe how the definability-theoretic structure theory for co-analytic sets applies to show that these regularity properties can fail there.  We will also indicate the results of further metamathematical investigations.