Kompakt træ for Peter Frederich Lorenzen