j kl. 5 e. m . , O. Halvorsen.