PCT, Spin and Statistics, and All That