Klockan i vestibulen slog nio , när Robert öppnade biblioteksdörren.