Home/Crosswords/WSJ/Brand named as a shortening of “Pfefferminz”