Gas-discharge light source