Text this: Spelling variations in German names