utgifvit de t0 , [k