Kompakt træ for Harald Henning Mogensen