text: Den Hotspot hatte ich hier schon eingetragen:
  
  https://www.openstreetmap.org/node/5526523855
  
  An ein Telefon kann ich mich nicht erinnern, aber ich kann da bei Gelegenheit gerne mal nachgucken. Die Karte stimmt hier sowieso nicht mehr hundertprozentig, weil der gesamte Haltestellenbereich vor ein paar Monaten umgebaut worden ist.