Kompakt træ for Frederik Hermann Detlefsen