Kompakt træ for Hans Thomas Davidsen