Kompakt træ for Johann Ludevig Jensen