Snart går Thor Gjermund Eriksen av som NRK-sjef. Både næringslivet og mediebransjen «er interessant» for ham