Kompakt træ for Oscar John Grindheim