Anpassung an .gitignore und Kopf/Fusszeile:
- .gitignore-Liste ergänzt
- authorinfo mit Namen erweitert
- versioninfo mit Dozent und Jahr versehen
Merge commit 'bb1dd639d25e357671f4959cd9ab7ab2c72d9416'