Yes, those are the tubes to look for. As PrTV says, they are made by the ULYANOVSK factory is Russia, but some, like myself, prefer the SVETLANA made tubes: they sound that little more valve like - lush, euphonic, open with deep and articualte bass; in comparison the ULYANOVSKs sound more, dare I say it, leaner, though they may be slightly more detailed. Anyway, both are better than the stock SHUNGUANG 6S19s.
Most tube manufacturers, from the likes of MULLARD, ERICCSON, GENERAL ELECTRIC (GE), TUNG-SOL, SYLVANIA, RCA, WESTERN ELECTRIC (WE), RAYTHEON, etc, produce "ordinary" and "improved" tubes: so they will make a 6AK5 and the higher quality 6AK5W; MULLARD will produce a EF95 and also a M8100 or CV4010; WE well sell a 6AK5 or 403A and also sell a 403B. As to which is better, only your ears can tell you: certainly to my ears there are good tubes and exceptional ones. My personal favourites are the RCA JRC 6AK5Ws and WE 403Bs. And the combination with the 6S19Ps is also important: the "lean" sound of the 403Bs goes well with the "lush" SVETLANAs; and the richness of the M8100s compliments the ULYANOVSKs. Experimentation is the answer.