Kompakt træ for Carl Christian August Petersen