( 712 ) Ernst Lindberg.