text: Jetzt verstehe ich, wie "falsch" hier gemeint war: wir sind hier weder in Starnberg noch in Holzkirchen.
  Und das stimmt, eigentlich ist es ziemlich verwirrend (besonders dass die Züge nach Holzkirchen vom Starnberger Bahnhof starten!).
  Eine Umbenennung in der Art "München Hbf Gleis 5–10 (ehemalige Holzkirchner Bahnhof)" wäre vielleicht noch passender.
  
  Eigentlich müsste man in Hauptbahnhof prüfen, ob es überhaupt Schilder mit "Holzkirchner Bahnhof" und "Starnberger Bahnhof" gibt, sonst wäre "München Hbf Gleis 5–10" und "München Hbf Gleis 27–36" eigentlich richtig, weil das steht garantiert wirklich auf den Schlidern.