( 9717 ) Wilhelin Lamprecht.