Kraus, Richard (1902–1978)