Det förstnämnda dokumentet lyder: