| Opening times 10:00 - 13:30 |
| Opening times 10:00 - 17:00 |
| Opening times 15:00 - 18:00 |
| 10:00-13:00 only for visitors, 10:00-6:00 PM for readers |
| Opening times 15:00 - 18:00 |
| Opening times 10:00 - 14:00 |
| Closed to visitors / opened only to readers |
| Closed to visitors / opened only to readers |
| Closed to visitors / opened only to readers |
| Closed to visitors / opened only to readers |
