längden af statens jernvägar utgjorde vid 1872års