section 12.1 is done: PISM on a 2.5 mm grid and a nice match to observations