Kitaibel Pauli Catalogus manuscriptorum.