Michael Polanyi (1891)/descendants