Kompakt træ for Hans Davidsen