Kompakt træ for Hans Kristian Kristiansen