Kompakt træ for Inger Ørsted Petersen