Kompakt træ for Reinholt Ditlevsen