Kompakt træ for Hans DAVIDSEN