7 a ) A . Henselt.