Kompakt træ for Otto Henriksen