[dm-l] A Formal Model for Historical Atlases and Historical Knowledge