Kompakt træ for Jørgen Henning Jensen