Kompakt træ for Heinrich Georg Petersen