Kompakt træ for Detlef Kristian Ernst Krohn