del deraf skall tillfalla jernvägstjenstemännens pensionskassa.