Kompakt træ for Jørgen Peter Davidsen