Kompakt træ for Jens Peter Martensen