Kompakt træ for Jens Holger Pedersen