Kompakt træ for Hans Chr. Petersen