Kompakt træ for Hans Thomsen Sørensen