The library of the House of Lords. A short history with an appendix listing its principle contents