Kompakt træ for Johan Ivarsen