Kompakt træ for Henrich Henrichsen