Kompakt træ for Hans Thomas Hansen