A Data Set of Annotated Historical Maps