Catalogus bibliothecae Ludewigianae manuscriptae - Michaelis, Johann David 1717-1791 (1745)