Kompakt træ for Carl Christian Otto Petersen