Moinsen,
bspw. bei den Kreisen Segeberg, Pinneberg und Steinburg war diese Variante hinterlegt und ich habe mich dann einfach dafür entschieden, weil ein Diskussionsartikel aus 2013, den ich bei Google gefunden habe, auch zu keinem Ergebnis gelangt ist: https://help.openstreetmap.org/questions/24531/ist-der-grenz-typ-kreis-beispielsweise-in-kreis-segeberg-teil-des-namens-oder-nicht

Ich kann das auch umdrehen und dann Kreis nur noch als Präfix führen. Ist halt für Anwendungen, die nur auf den name-Tag setzen nicht so optimal.