Josep Maria Benet i Jornet — Spanish playwright (1940–2020)