Arithmetic and Geometry over Local Fields