Opening hours in July and August 2023
During the holidays, the library will only be open every day from 9 a.m. to 11 a.m. Summer opening hours are shorter due to revisions which the library is legally obligated to perform. Thank you for your understanding and have a nice summer!
Published Jun 20, 2023