I've just come across the name Puppe in German (meaning 'doll'), the equivalent of our Dolly. Only now does Dolly strike me as unacceptably diminishing (Dolly Parton notwithstanding). It's an example of how diminishments can drop out of awareness. Only the German form prompted me to a clear-eyed view.