Kompakt træ for Hans Georg Ludvig Jessen