Bibliotheca regionale, Karlsruhe