Kompakt træ for Hans Marius Jensen