Kompakt træ for Hans Peder Henriksen