14.01 What is a discharge tube?