Email Record: Gravity waves in water of finite depth /