The Dumont 5XP is a family of CRTs produced starting in the 1940s.
They are used in early models of the 513 and 517, before Tektronix switched these to Tek-made CRTs.
Dumont 5XP11