Coexistence of Antiferromagnetism and Superconductivity