What agency had its staff reduced to 5000 after Lenninist orthodoxy was abandoned?