Kompakt træ for Hans Korsgaard