äro de för Norges statsbanor,