Kompakt træ for Knud Ferdinand Jensen