Counterexamples for Local Isometric Embedding

We construct smooth metrics on 2-manifold with nonpositive Gauss curvature which cannot be (C^3) locally isometrically embedded in R^3. Moreover, the Gauss curvature of the metric can be made negative except for one point.