Deutsche Radioröhren Typbezeichnungen nach 1945