hals 9 c . m . Stedingk.