Kompakt træ for Hans Robert Jensen