( 4027 ) ISIDOR DEHN.