Kompakt træ for Heinrich Emilius Petersen