Real-time SPIDER: ultrashort pulse characterization at 20 Hz.

Real-time SPIDER: ultrashort pulse characterization at 20 Hz.