Eddi Arent — German actor and comedian (1925–2013)