, i Nors Jernbruks-Aktiebolag.