how many teams have used the stadium which hosted the weightlifting at the 1920 summer olympics – men's +82 . 5 kg ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open dbr_Weightlifting_at_the_1920_Summer_Olympics_–_Men's_+82.5_kg dbp_venue var_x sep_dot var_x dbo_tenant var_uri sep_dot var_x a dbo_Stadium brack_close