Kompakt træ for Jørgen Henrichsen