Fürs mergen
Merge branch 'master' of https://github.com/Ace7k3/mp
Vorlesung vom 05.12 nachgearbeitet