John Leddy — Dutch actor (1930–2022)