9.4	Editing Users’ general settings
          You can edit the general settings for Users, e.g. name and email address.
          To edit the general settings for a User
          1	In the menu, select User.
          
For administrators, a list appears with all Users.
 
          2	As administrator, click on 
 in the line of the appropriate user.