/* Fehler - Keine Haltstellen gefunden für den Betreiber! */
var haltestellen = "".split("|");