(German) Wang, Ruowang (1918-2001)