text: Ich habs mir mal angeschaut, das https://www.openstreetmap.org/relation/2017787/history war wohl eine Schätzung von 2012. Seit 2014 gibts aber die richtige Grenze auch: https://www.openstreetmap.org/relation/3683952/history