( 10225 ) Wilhelm Lamprecht.