crelle 2013-07-22 23:38:52 4662 265.37 366 9 352 282 7 1.25 18h 51m 0.31 0.25 0.01 0.0000 0 0 0 45