Frick yeah! That link 404s but and I don't speak German, but I'll look into it; thanks for the lead. ETA: As some of you might have guessed, it in fact is not

Frick yeah! That link 404s but and I don't speak German, but I'll look into it; thanks for the lead. ETA: As some of you might have guessed, it in fact is not 404, it's just accessible over FTP and not HTTP. It appears to be mirrored over here: https://www.mmnt.net/db/0/0/ftp.informatik.uni-stuttgart.de/pub/cm/lgp30 https://www.mmnt.net/db/0/0/ftp.informatik.uni-stuttgart.de/... ETA2: For anyone who's interested, I had better luck with the Python ftplib than a command line client; despite following their instructions to use a - in the password, my command line client still froze up.