A very unusual library. I recommend going through the main entrance and buying a tour. The price is not expensive at all, a mini-group is recruited by the guide. It is very interesting and not tedious, about 20 minutes. The tour ends at the observation deck. I recommend.