Electric discharge lighting.