Haarlem, Noord-Hollands Archief, Oude Boekerij