高压汞荧光灯是一种气体（）的电光源。