Optical system for double-biprism electron holography.