Kompakt træ for Hans Holm