Neulich in einem amerikanischem Film (auf deutsch) hieß eine Darstellerin "Gretchen". Wie heißt sie dann eigentlich im Original? Ich gehe davon aus, dass "Gretchen" ein typisch deutscher Name ist und im Englischen nicht gleich bleibt.