Kompakt træ for Knud Holger Hastrup