Kompakt træ for Hans Carsten Petersen