Stadtbibliothek Basel, Schmiedenhof