Ortsteile und Bezirke von Leipzig in OpenStreetMap einpflegen

Hallo,

Ich meine festgestellt zu haben, dass für Leipzig in OpenStreetMap keine Stadtteile hinterlegt sind. Bei overpass-turbo.eu finde ich nur Einträge für admin_level=6, nichts für 7 oder 8.

area["name"="Leipzig"];
rel(area)[boundary=administrative][admin_level=6]

Die sind aber inzwischen veröffentlicht worden auf https://opendata.leipzig.de/dataset?q=stadtteile Leider im Original in einer ziemlich unüblichen Projektion. Habe die aber mit osmconvert in geojson mit WGS84 Projektion konvertiert bekommen.

Bezirke: https://ufile.io/7wrob
Ortsteile: https://ufile.io/6v84b

Wie kann ich die am besten einpflegen? (Bzw. kann auch jemand anders für mich gerne machen.)

Viele Grüße
Jörg