pulse generator using gas-filled tubes - German English Dictionary