Kompakt træ for Knud Julianus Hastrup