Kompakt træ for Jens Ravn