Translated from the Norwegian.