The 5XP is a family of CRTs produced starting in the 1940's. It is used in the 513 and 517.
Dumont 5XP11