Field Theories on Supermanifolds: General Formalism, Local Supersymmetry and the Limit of Global Supersymmetry