Kompakt træ for Hans Jørgen Davidsen