[ "collator", {"case-sensitive": true, "diacritic-sensitive": false, "locale": "de"} ]