( 6872 ) Otto Vahl.