Kompakt træ for Hans Henrik Edvard Jensen