Kompakt træ for Hans Hansen Dinesen