Kompakt træ for Hans Peter Ibsen