Kompakt træ for Inger Margrethe Michelsdatter