Da würde ich mal nachhaken, ob die vergessen gegangen ist oder ob sie abgeschafft wurde. Vielleicht schicken sie die nicht mehr mit, damit mehr Studis die kostenpflichtige bestellen (von der wiederum nicht viele wissen).
Ich warte jetzt mal auf den 4.10. und frage dann nochmal nach. Ich geh mal stark davon aus, dass die auf lange Sicht Kosten sparen wollen und deswegen die Dateien auf den Server legen?