Kompakt træ for Christian Carl Eduard Petersen