Client und Server GUI abgabe Fertig gemacht; Invarianten angegeben