Scalloped hibachi and vacuum-pressure foil for Electra: Electron beam pumped KrF laser | IEEE Conference Publication | IEEE Xplore