Kompakt træ for Carl Detlevsen