Kompakt træ for Vagn Henriksen