Then, on the other side there is the library whose name you should not speak. Just mentioning it. Don't get any books there. It's verboten (= your betters, the publisher, lord over the public word, do NOT like and are not amused). Supposedly there is everything there, I know. It's tempting. But VERBOTEN.
Just wanted to remind people, so they don't inadvertently use the library whose name should not be spoken.