stortingspresidenten Ullman och odelstingspresidenten Horst.