skall tillfalla järnvägstjenstemännens pensionskassa.