Kompakt træ for Ole Just Høffding