text: Ich habe auch Bratananio gefragt, der die POIs ursprünglich eingetragen habe. Er hat mir die Geschichte der Flügelbahnhöfe erzählt und gesagt, dass die Namen bis heute in der Bevölkerung verankert sind.
  Relevant wäre aber doch, wie die DB sie offiziell nennt, oder? In der Reiseauskunft wird auf jedem Fall "München Hbf Gl.5-10" oder "München Hbf Gl.27-36" angezeigt (dort mit Abkürzungen, das könnte man aber auch ohne Abkürzungen übernehmen). Aber gibt es eine Möglichkeit, dazu noch den alternativen Gebrauchsnamen einzutragen? Gibt es vielleicht einen Tag dafür?