9.54 ; e. m . kl. 5.36.