Kompakt træ for Ernst Johan Jensen