( 7212 ) Wilhelm Lamprecht.