I det dokument vi hafva sett,