So, ich reihe mich jetzt auch bei den "7.13-Geschädigten" ein, nachdem ich heute viel Zeit mit dem Docker-Problem verschwendet habe. Nun überlege ich, mir eine eigene Box zuzulegen. Ein paar Nachteile wurden hier ja schon genannt, ich habe aber jetzt...