Kompakt træ for Thomas Friedrich Davidsen