Kompakt træ for Inger Margrethe Christoffersen