What are the library's opening hours?

The opening hours of the library on weekdays are Monday-Friday 9.00 - 19.00. The hours of the different services may vary.