Kompakt træ for Olav Ejner Petersen