Permission assignments

My users can’t use the library even though they have got the needed rights

The assignment of permissions is set specifically for every library. This means that the users need the specific rights for every library they use. On the page: edit user you can add users to others libraries and grant them the specific rights.