The execution of mayor Yin and other stories from the great proletarian Cultural Revolution