Kompakt træ for Hans Arvedsen