Kompakt træ for Ole Diedrich Jensen