Det framgår af de dokument,