Kompakt træ for Carl Thomas Frederik Hoffmeyer