Kompakt træ for Carl Frederik Julius Petersen