Kompakt træ for Adolf Eduard Lenk