Vjenceslav Richter 1917–2002