Det framgår af dessa dokumenter,