Kompakt træ for Hans Asmussen