Det framgick i öfrigt,