kosta på detsamma ytterligare 8,000 kr. , så att en del jernvägstjenstemänockså