af statens jernvägstrafiks-personals pensionskassa för 70,000 kronor.