Kompakt træ for Hans Edvard Jensen