( 8071 ) Wilhelm Lamprecht.