Kompakt træ for Hans Jørgensen Davidsen