Då de kommit in i biblioteket ,gjorde