jernvägen var » Den norske Hovedjernbane ».