Categorizing Historical Documents: What is a Red Book?