Kompakt træ for Otto Kristian Marius Jensen