When was Rudolf Schnyder born?

Rudolf Schnyder was born in 1920.