pumped tube - German English Dictionary