Kompakt træ for Christen Jensen Brok