Thanks very much, that almost worked, but I experienced some Glitches with my Internet Connection, & had to restart a couple of times because all the time some other Package wouldn’t download! But I then found a German Mirror which is closer to me, & that one was successful the 2nd time I tried: