optionsTab : 'Optionen',\r
allCaps : 'Groß geschriebenen Wörter ignorieren',\r
ignoreDomainNames : 'Domain-Namen ignorieren',\r
optionsTab : 'Optionen',\r
allCaps : 'Groß geschriebenen Wörter ignorieren',\r
ignoreDomainNames : 'Domain-Namen ignorieren',\r