add Javadoc
removed Benutzer.getID(), Benutzer.toString() returns now userID