Public libraries in Berlin – how to use them