Review: R. F. Streater and A. S. Wightman, PCT, Spin and statistics, and all that