Docker-Umgebung auf native Docker umstellen

[adersberger]

Aktuell wird Vagrant genutzt, um eine Docker-Umgebung zu erzeugen. Hier sollte auf eine native Docker-Version umgestellt werden, damit auch lokal das Docker CLI Werkzeug zur Verfügung steht. Die Kombi aus HW- und OS-Virtualisierung sollte dann nur noch als Beispiel in der Vorlesung dargestellt werden.