Knowledge Engineering for Historians on the Example of the Catalogus Professorum Lipsiensis