Kompakt træ for Iver Bernhard Henriksen