Kompakt træ for Franz Otto Jensen