@xianmin Thanks! I found it among leftbehind stuff when I got a new office some time ago, no doubt a forgotten gift from some Japanese vistor a previous occupant of the office had long ago.