Kompakt træ for Leif Ditlevsen