Kompakt træ for Ingeborg Margrethe Lauritzine Petersen