Koordinaten der Gemeindegrenzen

Hallo Ihr Lieben,

Auf der Homepage unserer Gemeinde ist es geplant eine Karte anzuzeigen, die unter anderem die Gemeindegrenzen anzeigt.

Momentan zeigen wir eine Leaflet Karte an und wir wissen, wie wir ein Polygon über die Karte zeichnen. Außerdem wissen wir, dass alle Grenzen als Relation in der Openstreetmap-Datenbank gespeichert sind.

Was wir nicht wissen: Wie können wir diese Relation auf der Leaflet-Karte anzeigen. Wie bekommen wir die Gemeindegrenzen als Shape-File, GeoJSON oder die Koordinaten?

Vielen Dank für jeden Tipp.