Question: who played mike tv in willy wonka 2005
[{'answer': 'Paris Themmen', 'provenance': [{'wikipedia_id': '685962', 'title': 'Peter Ostrum', 'start_paragraph_id': 18, 'start_character': 258, 'end_paragraph_id': 18, 'end_character': 271, 'bleu_score': 1.0, 'section': 'Section::::"Willy Wonka".:Lasting effect.\n'}]}, {'provenance': [{'wikipedia_id': '685962', 'title': 'Peter Ostrum', 'start_paragraph_id': 18, 'start_character': 0, 'end_paragraph_id': 18, 'end_character': 373, 'bleu_score': 0.8317911425362611, 'meta': {'yes_no_answer': 'NONE', 'annotation_id': 2081620090511797026}, 'section': 'Section::::"Willy Wonka".:Lasting effect.\n'}]}]