Precise comparisons of bottom‐pressure and altimetric ocean tides. Issue 9 (16th September 2013)