Opening hours
For opening hours around holidays, see Holiday Schedule.
Regular opening hours
Monday–Thursday 08:00–19:00
Friday 08:00–17:00
Saturday 11:00–15:00
Weekdays, the circulation desk is manned from 08:30.
For opening hours around holidays, see Holiday Schedule.
Monday–Thursday 08:00–19:00
Friday 08:00–17:00
Saturday 11:00–15:00
Weekdays, the circulation desk is manned from 08:30.