Kompakt træ for Hans Marius Holm