Kompakt træ for Hans Sahl