till pensionsfonden för jernvägens tjenstepersonal,