Roman Leitner

(1914 – 2008).