Statsbanornas längd har underåret