Kompakt træ for Ingeborg Christine Petersen