I don't think anything is wrong with the word library (Bibliothek), and neither does my girlfriend, but apparently the professor who leads the project think's it's too old-fashined or something. I personally don't think it makes sense to change the name...
Thanks for your suggestions so far, more are welcome, especially from the German-Speakers...