Kompakt træ for Ole Carl Høffding