Det framgick nämligen deraf,