It was a gift from my brother and his wife. At least I’m pretty sure that’s how it came into our possession. It looks handpainted (and if it was, it wasn’t done by them). There’s another mug here with a different color and design, but with the exact same shape, and seemingly made of the same lighter-weight material, and with the same company name in raised letters on the bottom. Curiously, the two mugs have different countries of manufacture.
As I get ready to post this, we’ve just had a friend make a repair to the ornament tree we repurposed as a Christmas mug tree, so this cup once again has a prominent place of display this season.
Merry Christmas to all!