Kompakt træ for Peter Henrik Petersen