Adenosine-deaminase-deficient mice by A.A.J. Migchielsen