lagt til Jernbanepersonalets bank og forsikring