Kompakt træ for Kristian Fritiof Johnsen