Kompakt træ for Franz Otto Hartmann