Kompakt træ for Johan Frederik Dinesen