Kompakt træ for Frederik Anton Hastrup