Pactum Lotharii

The Pactum Lotharii from 840 was a treaty between Venice and the Holy Roman Empire, which regulated the border and activities around the border.