Kompakt træ for Oluf Helge Cristensen