Update README.md for summer 2021

README.md

@@ -20,17 +20,21 @@ und verrückte Logiker, vergleichen SQL mit Tic Tac Toe und stellen die großen
 unseres Fachgebiets.
 
 Die Vorlesung ist weitgehend selbsterklärend, aber Grundlagen aus der Veranstaltung
-[Formale Systeme](https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2016)) können
+[Formale Systeme](https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020)) können
 hilfreich sein.
 
 PDFs erstellen
 --------------
 
-Die Quellen können mit ```pdflatex``` in PDFs umgewandelt werden. Das Script
-[build.sh](https://github.com/mkroetzsch/TheoLog/blob/master/SS2017/Vorlesungen/build.sh)
-erzeugt außerdem eine Druckversion mit vier Folien pro Seite (benötigt ```pdfnup```).
+Die Quellen können mit ```pdflatex``` in PDFs umgewandelt werden.
 
-Die fertigen PDFs aus dem Sommer 2017 sind online zu finden unter https://iccl.inf.tu-dresden.de/web/TheoLog2017.
+Die fertigen PDFs aus dem Sommer 2021 sind online zu finden unter https://iccl.inf.tu-dresden.de/web/TheoLog2021.
+
+Vorlesungsvideos
+----------------
+
+Videovorlesung aus dem Sommersemester 2021 sind auf der [Vorlesungswebseite 2021](https://iccl.inf.tu-dresden.de/web/TheoLog2021)
+zu finden.
 
 Lizenz und Nutzung in der Lehre
 -------------------------------
@@ -39,7 +43,7 @@ Soweit nicht anders angegeben stehen alle Texte unter der Lizenz
 [Creative Commons CC By 3.0 Deutschland](https://creativecommons.org/licenses/by/3.0/de/) genutzt, weitergegeben
 und modifiziert werden. Als Namensnennung muss dabei folgende Angabe eingefügt werden:
 
-(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2017, CC BY 3.0 DE
+(C) Markus Krötzsch, https://iccl.inf.tu-dresden.de/web/TheoLog2021, CC BY 3.0 DE
 
 Bildrechte können davon abweichen und sind gesondert in den LaTeX-Dateien angegeben.
 Die Foliensätze enthalten keinerlei Texte, die aus Werken entnommen sind, für welche die VG Wort Verwertungsrechte vertritt.