12

Die heute gültige Einteilung der Stadtbezirke geht auf einen Stadtratsbeschluß von Ende 1991 zurück und wurde 1992 bzw. mit einer Änderung (Laim) 1996 wirksam.
Siehe [1] und [2].
Aber stimmt, die führende Null kommt da nirgends vor, auch nicht im [Statistischen Taschenbuch 2016](file:///home/rainer/Downloads/Stat_Taschenbuch 2016 kpl_09-06-16_Internet (1).pdf).
Müssen wir wohl noch korrigieren.

Bleibt noch die Frage, wie osm-carto die Grenzen beschriftet. Da Stadtbezirksgrenzen immer mit Bezirksteilgrenzen zusammenfallen, wäre es da verwirrend, wenn “Stadtbezirk” und “Bezirksteil” wegfielen. Das scheint bisher in der Kartendarstellung (noch) nicht der Fall zu sein.