As dessa upplysningar framgick , att detej