jernvägsstyrelsen att nöja sig med 6,000 kr.