Kompakt træ for Johan Kristensen