Kompakt træ for Hans Marius Eriksen