There's also Westbahn Hotel, which is also a reasonably priced 4-star property very near the station. I'm pretty sure I stayed there in 2000 (!!) and had a good experience, but obviously a lot may have changed since then.