Kompakt træ for Johannes Kristian Benjaminsen