Denne hade förmodligei , »varit