Kompakt træ for Hans Peter Davidsen