( 9717 ) Wilhelm Lamprecht.