Kompakt træ for Ingeburg Petersen