statens järnvägar för 20,000 kr.