Då de båda inträdde i biblioteket ,återvände