Johannes Erich Günther Wiederhold (1901-1988)