( Stortingstidende f d 9juni