Karl Mitterdorfer (1920–2017)