Dieses Protokoll beschreibt das Starten des ReVisE-Servers aus einem Docker-Container unter Ubuntu. Es beschreibt nur das Abrufen von Docker und des Containers. Es verweist auf...