text: auch in der jüngsten auf https://data.deutschebahn.com/dataset/data-betriebsstellen.html verfügbaren Betriebsstellenverzeichnis vom April 2018 ist nur Holzgerlingen-Nord, nicht aber Holzgerlingen- Hülben verzeichnet; am sinnvollsten erschein mir, diesen Sachverhalt in einer Fixme-Notiz festzuhalten, bis das nächste Betriebsstellenverzeichnis erscheint