Kompakt træ for Hans Jessen Koch