Merge remote-tracking branch 'origin/develop' into develop
leader channel is ready
diverse bug fixes
new leadermessage class
interface chooser is final
group selecting is ready
private, leader msg is final
kleine Änderungen
Merge remote-tracking branch 'origin/leaderchannel_dirverse_bugs' into develop

Conflicts:
	Distributed/src/distributed/user/AccessFrame.java
	Distributed/src/distributed/util/SettingsProvider.java
merge conflicts beseitigt
equals
equalsadded