Kompakt træ for Carl Ernst Ernstsen