Kompakt træ for Hans Devantier