Hornssund den 19 Oktober 872.