Grundlegende Befehle für git aus der Command Line
Kleine ergänzungen im Protokoll
Vorbereitung für 2014-11-20