Ole Torp takker av etter 30 år i NRK