August 22: Information on restaurants for lunch etc. has been added. In principle, eating and drinking are prohibited in the library, but it is possible to eat and drink in the Oval Hall during lunch time (Bringing in lunch boxes etc. is allowed).