Kompakt træ for Jens Hansen Leen