Kompakt træ for Knud Daniel August Hastrup