Kompakt træ for Carl Christian August Diedrichsen