@timtfj remove ß from German