Electron optical system for the x-ray mask writer EB-X3