Kompakt træ for Ejnar Kokholm