Viva la difference I: Nonisomorphism of ultrapowers of countable models - Saharon Shelah (1991)