The Rare Book Catalogues of H. P. Kraus, 1932-1982