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