( 4016 ) Lektor.