Kompakt træ for Johan Kristian Johnsen