R. P. Jiří Mazanec († 18.11.1988)