Kompakt træ for Hans Heinrich Davidsen