shows that problem boils down to the difference between
UTF8 "G\x{fc}ldenst\x{e4}dt\x{2019}s Redstart"
and
UTF8 "G\x{fc}ldenst\x{e4}dt's Redstart"
and also makes me think that perhaps 1/2 my difficulties are due to the fact that I'm printing to STDOUT which I visualise in my (non-Unicode-aware) programmer's editor :-(
RichardH