Tintin and the Lake of Sharks (1972) — details, trailer & cast | Cinema Box