Jena Gesamtflaeche und Ortsteile als Einzeldateien aus der OpenStreetMap hinzugefuegt
Merge branch 'master' of github.com:JenaOpenData/JenaGeoDaten