hals 9 e. m . Stedingk.