Aktiviere CI für die letzten zwei Foliensätze

Bisher wollten sie auf dem CI-Server nicht bauen.  Das Problem
ließ sich durch ein Update auf eine neuere Version von TeXlive
beheben.
14 jobs for fix-missing-CI in 6 minutes and 33 seconds (queued for 2 seconds)