There you go then .....our messages must have crossed paths this morning. :)
I wonder if 'Dolly' was a miss-print in the newspaper as Mary would most likely be called Molly whereas often Dorothy was called Dolly, or, as in my grandmother's case, Dossie.
It's all coming together. :)