BitSavers automatically redirects you top the closest(?) mirror so I guess that's where the uni-stuttgart.de URL comes from. Bitsavers is cool. They also offer

BitSavers automatically redirects you top the closest(?) mirror so I guess that's where the uni-stuttgart.de URL comes from. Bitsavers is cool. They also offer an rsync endpoint so that you can efficiently mirror the whole collection. I have a mirror at home (it's about 1.5TB by now) and every weekend I check out the new stuff that came in this week. So much interesting history being preserved there!