pensionen ( 4 , 000 kr .)