Kompakt træ for Hans Otto Rasmussen