d:rn E. G . V. N . Rudin;