( 3731 ) Eduard Bendt.