play on words idiom
文字游戏
a humorous use of a word with more than one meaning or that sounds like another word
The name of the shop - "Strata Various" - is a play on words, because it sounds like Stradivarius, the famous violin maker. 商店的名字 Strata Various 是一个文字游戏，因为它听起来像著名的小提琴制作师 Stradivarius 的名字。