Kompakt træ for Hans Svaning