( 7385 ) Wilhelm Lamprecht.