new: new player names can be added to the predefined names automatically
minor bugfixes and improvements
