Please note that during the summer holidays, in July and August, the library is open during summer opening hours. Have a pleasant summer!