Derivation of nonlinear bending theory for shells from three-dimensional nonlinear elasticity by Gamma-convergence | Synapse