Kompakt træ for Hans Peter DAVIDSEN