Kompakt træ for Jens Christian Holger Martensen