give me a count of movies whose producer is jerzy hoffman ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_producer dbr_Jerzy_Hoffman sep_dot var_uri a dbo_Film brack_close