Server-GUI erweitert, Bugfix Spielermanager
Merge branch 'Server' of https://github.com/DoppelkopfProjekt/Doppelkopf into Server