Compact terahertz time domain spectroscopy system with diffraction-limited spatial resolution.