Kompakt træ for Carl Peter Arvedsen